Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
71	Analyzing proofs in analysis∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, D–60054 Frankfurt am Main, Germany 1 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:27 Logic Mathematics Mathematical analysis Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory operator Spectral theory of ordinary differential equations
72	Topics in the Theory and Practice of Computable Analysis Branimir Lambov PhD Dissertation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2006-06-09 09:40:53 Computability theory Theory of computation Computable number Computable analysis Mathematical analysis Mathematical logic Function Computable function Hypercomputation
73	ON THE LOGICAL STRENGTHS OF PARTIAL SOLUTIONS TO MATHEMATICAL PROBLEMS LAURENT BIENVENU, LUDOVIC PATEY, AND PAUL SHAFER ABSTRACT. We use the framework of reverse mathematics to address the question of, given a mathematic Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2015-08-13 12:44:18 Computability theory Logic Proof theory Mathematics Mathematical logic Reverse mathematics Model theory Philosophy of mathematics Symbol Fixed-point theorems Primitive recursive functional Generalised Whitehead product
74	CURRICULUM VITAE DAMIR D. DZHAFAROV Contact Department of Mathematics University of Connecticut Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2016-05-15 18:54:00 Computability theory Mathematical logic High Computability
75	Reverse Mathematics and a Weak Ramsey-Type K¨onig’s Lemma Ludovic Patey Laurent Bienvenu Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2013-04-16 05:41:23 Mathematics Logic Mathematical logic Proof theory Abstraction Computability theory Reverse mathematics Second-order arithmetic Theorem Lemma
76	Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C, Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-12 10:33:41 Mathematical analysis Mathematics Operator theory Computability theory Approximation theory Fourier analysis Modulus of continuity Primitive recursive function Linear temporal logic Differential forms on a Riemann surface
77	Fachbereich Mathematik Proof mining and combinatorics Program extraction for Ramsey’s theorem for pairs Vom Fachbereich Mathematik Add to Reading List Source URL: tuprints.ulb.tu-darmstadt.de Language: English - Date: 2012-05-15 05:15:29 Mathematics Topology Mathematical analysis Computability theory General topology Proof theory Mathematical logic Reverse mathematics BolzanoWeierstrass theorem HeineBorel theorem Intermediate value theorem Primitive recursive function
78	I NTRODUCTION P RINCIPLES ADMITTING A UNIVERSAL INSTANCE P RINCIPLES ADMITTING NO UNIVERSAL INSTANCE Add to Reading List Source URL: ludovicpatey.com Language: English - Date: 2014-07-04 08:41:44 Computability theory Mathematical logic Proof theory Reverse mathematics Model theory Axiom of choice
79	BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the No-Counterexample Interpretation On the No-Counterexample Interpretation Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:12:20 Mathematical logic Logic Proof theory Computability theory Mathematics Constructivism Primitive recursive functional First-order logic Symbol Primitive recursive function Primitive recursive arithmetic Realizability
80	Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria Add to Reading List Source URL: plv.csail.mit.edu Language: English - Date: 2015-12-16 11:34:17 Programming idioms Computability theory Functional programming Logic in computer science Models of computation Recursion Denotational semantics Monad FO Valuation Static single assignment form